Computational mathematics

Results: 4662



#Item
811Functions and mappings / Theoretical computer science / Formal methods / Models of computation / Model theory / Symbol / Lambda calculus / Interpretation / Primitive recursive function / Mathematics / Mathematical logic / Computability theory

Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational

Add to Reading List

Source URL: www.paultaylor.eu

Language: English - Date: 2009-02-12 13:02:39
812Structure / Computational linguistics / Natural language processing / Category theory / Differential topology / Embedding / Maximum likelihood / N-gram / Language model / Mathematics / Model theory / Topology

Learning word embeddings efficiently with noise-contrastive estimation Andriy Mnih & Koray Kavukcuoglu DeepMind Technologies Overview

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2014-04-23 09:52:59
813Analysis of algorithms / Arithmetic / Computational complexity theory / Binary GCD algorithm / Big O notation / Summation / Time complexity / Euclidean algorithm / Greatest common divisor / Mathematics / Theoretical computer science / Mathematical notation

CS 70 Spring 2005 Discrete Mathematics for CS Clancy/Wagner

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2015-01-21 19:48:43
814Applied mathematics / Numerical analysis / Computational science / Stefan problem / Numerical methods for ordinary differential equations / Discretization / Method of lines / Explicit and implicit methods / Computational fluid dynamics / Mathematics / Mathematical analysis / Partial differential equations

DELFT UNIVERSITY OF TECHNOLOGY REPORTLITERTURE STUDY: NUMERICAL METHODS FOR SOLVING STEFAN PROBLEMS 1

Add to Reading List

Source URL: www.ewi.tudelft.nl

Language: English - Date: 2011-05-11 08:17:04
815Numerical analysis / Computational fluid dynamics / Partial differential equations / Finite element method / Continuum mechanics / Meshfree methods / Boris Galerkin / Smoothed finite element method / Mathematical analysis / Mathematics / Computational science

A CONVERGENT ADAPTIVE ELEMENT FREE GALERKIN ALGORITHM BASED ON THE BACKGROUND MESH Maryam Kamranian Department of Applied Mathematics, Amirkabir University of Technology, Tehran, Iran The Element Free Galerkin (EFG) met

Add to Reading List

Source URL: math.ipm.ac.ir

Language: English - Date: 2015-05-03 01:57:30
816National Academy of Sciences / Institute of Applied Physics and Computational Mathematics / China Academy of Engineering Physics / Committee on International Security and Arms Control / Academy of Sciences / Disarmament / United States National Academies / Arms control / Science and technology in the People\'s Republic of China

English-Chinese, Chinese-English Nuclear Security Glossary ISBN: , pages, , () This free PDF was downloaded from: http://www.nap.edu/cataloghtml

Add to Reading List

Source URL: sites.nationalacademies.org

Language: English - Date: 2015-02-02 21:26:42
817Probability theory / Dynamic programming / Longest increasing subsequence / Poisson process / Point process / Convergence of random variables / Permutation / Statistics / Stochastic processes / Combinatorics

Journal of Computational and Applied Mathematics–105 www.elsevier.com/locate/cam Hydrodynamical methods for analyzing longest increasing subsequences a

Add to Reading List

Source URL: dutiosb.twi.tudelft.nl

Language: English - Date: 2002-06-26 04:17:32
818Computer science / Theory of computation / Alan Turing / Models of computation / Computable function / Church–Turing thesis / Computability / Computational complexity theory / Computable number / Computability theory / Theoretical computer science / Mathematics

Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2006-02-08 14:25:07
819Computational fluid dynamics / Numerical analysis / Partial differential equations / Finite element method / Mathematical optimization / Immersed boundary method / Discontinuous Galerkin method / Meshfree methods / Optimal control / Calculus / Mathematical analysis / Mathematics

ECCOMAS 2012 European Congress on Computational Methods in Applied Sciences and Engineering

Add to Reading List

Source URL: eccomas.cimne.com

Language: English - Date: 2014-03-18 09:19:15
820Mathematics / Minimum spanning tree / Theoretical computer science / Computational complexity theory / Spanning tree

M IDTERM S OLUTIONS C OURSE : CPS230 Problem 1: M ODIFIED -D IJKSTRA (G = (V, E), s ∈ V )

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2009-10-29 19:24:49
UPDATE